Un linguaggio di programmazione logica: il Prolog
Cenni storici
Introduzione
Esercitazione 1
Test 1
Logica del linguaggio
Sintassi
Costanti
Variabili
Strutture
Esercitazione 2
Test 2
Liste
Esercitazione 3
Test 3
Semantica
Semantica di fatti, regole, obiettivi
Semantica di un programma
Apparato deduttivo del Prolog
Principio di risoluzione
Assunzione di mondo chiuso
Negazione come fallimento
Riferimenti
Metateoria
Correttezza e completezza della risoluzione diretta
Incompletezza del Prolog
Controllo del linguaggio
Costrutti di controllo
Backtracking
Il Cut
Esercitazione 4
Test 4
Predicati extralogici predefiniti
Espressioni aritmetiche
Esercitazione 5
Test 5
Predicati per la lettura di programmi
Operazioni su termini e strutture
Predicati per operazioni su clausole
Esercitazione 6
Procedure di ingresso e di uscita
Procedure per la correzione di programmi: debugging
Prolog puro e Prolog impuro